The subtitle of this text intended for philosophy students’ 2nd course in logic is in no way misleading. It is a lucid introduction to the philosophic activities of uncovering metaphysical presuppositions of logical techniques and altering logical techniques, and hence assessments of deductive validity, to conform to metaphysical presuppositions. They do not, though, assume that techniques for assessing deductive validity are or should be wholly dependent upon metaphysical presuppositions. They write on p. 213 in their section on intensional discourse: "And (...) logic wherever possible ought not to wait upon philosophy, for logic wherever possible ought to be neutral between different philosophical analyses." In their investigations of metaphysical presuppositions and logical techniques, they consider primarily the consequences of existential presuppositions about the use of singular terms, viz., individual variables, individual names, and definite descriptions. They favor freeing use of singular terms from existential presuppositions. The consideration of allowing non-referring names and definite descriptions makes their text one of the first, if not the first, for teaching Free Logic. The gist of Free Logic is not to allow existential generalization of Fb to unless there is an auxiliary premise asserting the existence of b, because use of the name b has been freed from the presupposition that it names something. It is suitable that these authors have a text on Free Logic since Lambert is the major figure in its origin while van Fraassen has established some of the most significant results about Free Logic systems. They go on to consider alternative logical rules to those of Russell for dealing with nonreferring definite descriptions. These alternatives to standard logic are philosophically motivated. They are not simply dumped upon students as rules for symbol manipulation. For instance, on pp. 152-157 they give a succinct analysis of the Russell-Meinong debate when they agree with Meinong that one can talk of the thing that is such and such without accepting that there is such a thing. The treatment of singular terms leads them to discussions of topics such as: What is it for a logic to be extensional and is Free Logic extensional?, the substitution interpretation of quantifiers, and the notion of presupposition. (shrink)

Eastern philosophy and western science have convergent and divergent viewpoints for their explanation of consciousness. Convergence is found for the practice of meditation allowing besides a time dependent consciousness, the experience of a timeless consciousness and its beneficial effect on psychological wellbeing and medical improvements, which are confirmed by multiple scientific publications. Theories of quantum mechanics with non-locality and timelessness also show astonishing correlation to eastern philosophy, such as the theory of Penrose-Hameroff (ORC-OR), which explains consciousness by reduction of quantum (...) superposition in the brain. Divergence appears in the interpretation of the subjective experience of timeless consciousness. In eastern philosophy, meditation at a higher level of awareness allows the personal experience of timeless and non-dual consciousness, considered as an empirical proof for the existence of pure consciousness or spirituality existing before the material world and creating it by design. Western science acknowledges the subjective, non-dual experience, and its multiple beneficial effects, however, the interpretation of spirituality designing the material universe is in disagreement with the Darwinian Theory of mutation and selection. A design should create an ideal universe without the injustice of 3% congenital birth defects and later genetic health problems. The western viewpoint of selection is more adapted to explain congenital errors. The gap between subjectivity and objectivity, the mind-body problem, is in eastern philosophy reduced to the dominance of subjectivity over objectivity, whereas western science attributes equal values to both. Nevertheless, there remains an astonishing complementarity between eastern and western practices. (shrink)

A clearly written and uncomplicated text, suitable for use with elementary and high school students as well as in college classes. It presents, in thorough detail, the techniques for making deductions, testing for validity, etc., in the logic of sentences and of universal quantification. The exposition rests upon the basic notion of inference according to rules; some fourteen rules of inference are presented and explained. Truth values and truth tables are discussed as means for determining important properties of inferences, e.g., (...) testing for validity of the inference, consistency of the premisses, etc. These techniques are then applied in formulating a simple mathematical system, a set of axioms for addition. The system is then used to illustrate the deduction of theorems with universal quantification.—K. P. F. (shrink)

Four essays of interest to the philosopher of science. The collection includes three short essays by L. P. Coonen, D. M. Lilly and C. DeKoninck. In the major essay, "Evolution: Scientific and Philosophical Dimensions," R. J. Nogar first presents a detailed analysis of the current status of the concept of evolution, showing that its meaning varies greatly from discipline to discipline. He argues that in view of the great stability of organic species, the consideration of evolutionary processes exclusively as space-time (...) distributions in inadequate, and needs supplementing by a concept of "nature," to explicate the relation between generator and generated, and the facts of heredity.--K. P. F. (shrink)

This anthology consists of forty-nine of Geach’s previously published papers on logic. He opens his Preface by writing: "I bring together here almost all my English articles that I have previously published and have not already collected or cannibalized in other books." It contains his first published paper "Designation and Truth" from Analysis 1947-48 as well as his elegant sketch of a decidable entailment system in the 1970 Philosophical Review. For the most part he has made only stylistic changes and (...) added some notes. So, he claims: "all articles appear without substantial change." However, he admits that he divided his "Quantification Theory and the Problem of Identifying Objects of Reference" from the now classic 1963 volume of Acta Philosophica Fennica. He divided it because he wanted to separate his strong advocacy of a substitution interpretation of the quantifiers from some views on quotation marks, about which he is less than certain. The papers are not in mere chronological order. They are organized by topic within chapters entitled: Historical Essays, Traditional Logic, Theory of Reference and Syntax, Intentionality, Quotation and Semantics, Set Theory, Identity Theory, Assertion, Imperatives and Practical Reasoning, and Logic in Metaphysics and Theology. The chapter titles are a fair guide to content. But note the following. Two lucid papers defending von Wright’s notion of entailment are in the Intentionality chapter. The essay "Ascriptivism" in the Assertion chapter is relevant to discussions of free will because he argues: "to ascribe an act to agent is a causal description of the act" and he urges a search for a non-Humean analysis of causality. The essays in the last chapter are: "Nominalism," "Some problems about time," and "God’s relation to the world.". (shrink)

Martin presents fifteen previously unpublished essays which he wrote before 1973. Despite several references to his earlier books such as Truth and Denotation, these essays will be intelligible to those who have not yet read anything by R. M. Martin as long as you can master long formulations in the notation of a formal first-order language. Indeed, these essays can serve as an introduction to the work of Martin. The first three essays present Martin's metaphysical system. Essays 4, 5, and (...) 6 amplify his system by showing how a wide variety of sentences can have their logical form represented in the formal language which displays Martin's ontology. In the remaining nine essays he critically evaluates positions of other philosophers such as Hiz, Carnap, Quine, Fitch, Chisholm, Popper, Sellars, Heyting, Lorenzen, and Putnam, from the perspective of his system. Because his systematic approach unifies all of the papers and because he uses technical terms in the development of his system, it is regrettable that the book offers no index. (shrink)

In normative decision theory, the weight of an uncertain event in a decision is governed solely by the probability of the event. A large body of empirical research suggests that a single notion of probability does not accurately capture peoples' reactions to uncertainty. As early as the 1920s, Knight made the distinction between cases where probabilities are known and where probabilities are unknown. We distinguish another case –- the unknowable uncertainty –- where the missing information is unavailable to all. We (...) propose that missing information influences the attractiveness of a bet contingent upon an uncertain event, especially when the information is available to someone else. We demonstrate that the unknowable uncertainty –- falls in preference somewhere in between the known and the known uncertainty. (shrink)

In his Introduction, Hochberg writes: "Since this book is an attempt to resolve some problems about thought, truth, and reference within the tradition of Logical Atomism, readers of Bergmann and Sellars will find, not surprisingly, familiar themes." He continues a bit later: "What is attempted is the resolution of some issues that preoccupied Russell, Wittgenstein, Moore and their successors, as well as an explication of some links between Logical Atomism and Moore's early assault on idealism. The book is thus a (...) partial study of the ontology and the history of Logical Atomism." Hochberg accomplishes what he attempts. Note that he did not promise an introduction to the ontology and history of Logical Atomism. The book is intended for people who have read early Moore, Russell, Wittgenstein, are familiar with some Fregean themes, who have read some secondary literature on Logical Atomism such as Urmson's or Pear's books, and who have read some of G. Bergmann's developments of Logical Atomism. Because the metaphysical analyses of several contemporary philosophers such as Quine, W. Sellars, D. Davidson, and D. Kaplan are criticized, familiarity with such writers, especially Quine, would be very helpful. Nevertheless, although the themes are familiar ones such as: realism vs. phenomenalism; realism vs. nominalism; theories of definite descriptions; coping with Bradley's regress; analyses of objects; analyses of thoughts; and although no sophisticated logic is needed to handle his formalizations, Hochberg demands almost too much concentration from even his intended readers. It is easy to get lost in the numerous alternative analyses and theories Hochberg considers. He seems unable to resist temptations to explore alternative analyses suggested to him by the one he is considering. Consequently, it is difficult to determine what are the analyses actually held by philosophers discussed, what are Hochberg's own analyses and theories, and what are serious alternatives. Because so many subtle and complicated alternatives are juggled it is difficult to uncover the main premisses of Hochberg's arguments for his resolutions. The combined insights and discipline of a seminar or reading group would be helpful in the effort to recognize the main themes and to stay with the work. (shrink)

Despite its brevity, McArthur’s monograph offers a helpful introduction to tense logic to readers who have already been introduced to the syntactical and semantical metatheory of classical logic. Familiarity with substitutional quantification, free-logic, and modal logic will help readers appreciate techniques used and the directions in which topics are developed.

These sixteen essays were written in honor of Frederick B. Fitch. Each part of the volume treats an area of the logical enterprise which had special interest for Fitch. The four parts are entitled, respectively, "Metaphysics and Language," "Basic and Combinatorial Logic," "Implication and Consistency," and "Deontic, Epistemic, and Erotetic Logic.".

This profound metaphysical treatise is carefully and subtly argued. It merits the author recognition as one of the major contemporary philosophers in the United States. Plantinga begins by distinguishing logical necessity from causal necessity, what we will not give up, what is self-evident, and what we can know a priori. In the first chapter he also reviews why classical and contemporary philosophers have distinguished between saying that it is necessary that a proposition is true and saying of an object that (...) it is necessarily such and such. The second and third chapters are primarily a defense of the distinction between de dicto and de re necessity, despite the fact that he shows, to those who claim only to understand de dicto necessity, how assertions of de re necessity can be read as assertions of de dicto necessity. Plantinga mischievously observes in passing that assertions of de dicto necessity can be interpreted as de re assertions of a proposition that it is necessarily true. He defends the legitimacy of asserting necessity de re so that he can say of objects that they have properties essentially. (shrink)

The relations between physical science and technology, and their implications for culture, are investigated. Van Melsen argues that physical science merely extends, though in an abstract manner, man's ordinary methods of gaining knowledge about the world, that science and technology require one another, and that while science and technology threaten to overcome man's control of them, they also offer a great opportunity and stimulus to man's further self-realization.--K. P. F.

This technical and sophisticated book has a misleading title. In only 140 pages it has chapters entitled: Truth Functions, Sentence Logic, Model Theory, Predicate Logic, Recursive Functions, Formalized Arithmetic, Free-Variable Arithmetic, and Axiomatic Set Theory. Goodstein says little about, let alone studies, the historical development of any of these topics. The history consists of a few references to some of the individuals who have played a role in the development of the field; but not always to the major figures. For (...) instance, his chapter on model theory contains no discussion of the development of classical model theory. Only Herbrand is noted as a developer of model theory. However, even if these eight studies in mathematical logic do not tell much about the development of the topics, they still have considerable value. The first chapter on truth functions and the seventh on free-variable arithmetic are the most intriguing because they contain more of what is not usually presented in logic books. The first two chapters on sentential logic are not the standard textbook treatment. This really is a book for other working logicians and mathematicians. Quickly, Goodstein moves into treating truth functions for any number of truth values as functions in modulo arithmetic and investigates the topic of finding Sheffer functions, viz., a function from which all others for a given number of truth values can be obtained. In the second chapter, he is soon presenting Intuitionistic sentential logic and has some remarks about sentential logics between Intuitionistic logic and classical logic. He also presents sequent calculi. Since the first two chapters contain only 36 pages, this suggests that the book would be suitable as a text only for advanced and sophisticated students. (shrink)

Professor Fitch carefully guides the reader through the first and second chapters demonstrating how theorems of a sentential logic are truths about so-called Q-functions. These Q-functions are given by presenting symbols for twelve basic functions, specifying that finite combinations of these basic symbols give Q-functions, and by giving rules for the introduction of basic symbols into, and the elimination of basic symbols from, combinations of these symbols. The combinators are the basic symbols which are not symbols for "and," "or," "not," (...) and "equals." Truths about Q-functions are the basic and derived introduction and elimination rules. To familiarize readers with introduction and elimination rules, he devotes an introductory chapter to a review of his method of subordinate proof which is used throughout the book. This review is also valuable for stressing the differences between his sentential logic and classical logic on one hand and intuitionistic logic on the other. Rejecting the law of excluded middle he nevertheless maintains double negation. (shrink)

The current debate regarding the suitability of anencephalics as organ donors is due primarily to misunderstandings. The anatomical and neurophysiological literature shows that the anencephalic lacks a cerebrum because of the failure of neuralplate fusion. However, even the incomplete function of an atrophic brain stem is currently accepted at law in most if not all countries as sufficient for brain life: which is to say, cessation of breathing is currently required in order to make the diagnosis of brain death. Because (...) of the extensive incompleteness of the anencephalic's brain, it is not possible to postpone death significantly by mechanical ventilation and intravenous feeding. It is acceptable to maintain life for a short period of time in order to allow organ transplantation subsequent to the declaration of death at the point of cessation of the capacity for spontaneous respiration. The most important issue is not transplantation, but the issue of brain life raised by the case of anencephalics. Since brain life in any significant sense begins only after the closure of the neural tube on the 30th day after conception, it is reasonable to take this as the point at which brain life begins. Laws should be amended in all countries to allow the abortion of anencephalics at any time, in that they do not at any time possess brain life. (shrink)

This essay analyzes a silent short film portraying an urban canoeist. The film suggests that it is possible to make conscious choices about one’s means of conveyance through the city. Using a critical theoretical framework to unpack the implications of the film, this paper argues for the need to imagine unconventional modes of transportation and examine the power structures of automotive hegemony.

This article explores how ministerial and leadership formation could be enabled to adopt transformational diaconia in addressing poverty in South Africa, engaging in ways in which pastoral care and leadership formation can respond to the addressing of poverty. The fact that transformation aims at changing the worldviews, paradigms and approaches to life and problem solving informs the author’s concept of transformational diaconia, which was proposed as an aspect of spiritual leadership capital (SLC), defined as, ‘The inner virtues afforded individuals by (...) their spirituality in formulating their leadership paradigms which contributes to social capital formation for addressing social problems’. Spiritual leadership capital is hereby argued to be a transformative spirituality that can enable an understanding and sustainable responses to poverty and other social problems. This is needed for Africa and particularly for the present day South Africa, seemingly a country with the best infrastructure in Africa; yet its poverty seems pronounced because the dregs of apartheid still lurk in the social fibre, where poor people blame rich people for their plight and vice versa. Bowers Du Toit’s view that ‘[m]ost congregations respond to poverty by providing relief and not empowerment’, re-echoes here. From a mixed-methods research, SLC is a theory recently advanced as a congregational development paradigm and a theology of poverty, which views public theology as an educative praxis that can respond to transformational needs in poverty-related contexts. The authors suggest that for a Church that is responsive to the plight of society, fresh empowerment approaches to address poverty are needed. (shrink)

For some time cognitive anthropology, and indeed cognitive science generally, have been concerned with issues of conceptual representation. Inadequacies in classical and more recent approaches, in particular, prototype theories, have motivated a search for alternative accounts. We propose an approach to conceptual representation that requires the specification of domain theories, from which conceptual definitions are generated, and within which the relations among concepts can be formalized. We demonstrate the utility of a formal characterization of this view of domains and concepts (...) in the analysis of an aspect of the basic metaphysics constructed by the people of West Futuna, Vanuatu. In the process, we expand the set of formal devices traditionally relied upon by anthropologists and others involved in cognitive studies, and thereby gain insight into the complexity of the metaphysical beliefs of an Oceanic people. (shrink)